VALID_EMOJIS = {128683: [(0, {()})], 126980: [(0, {()})], 128515: [(0, {()})], 9198: [(1, {(65039,)}), (0, {()})], 128507: [(0, {()})], 9904: [(1, {(65039,)}), (0, {()})], 35: [(2, {(65039, 8419)}), (1, {(8419,)})], 128277: [(0, {()})], 9905: [(1, {(65039,)}), (0, {()})], 42: [(2, {(65039, 8419)}), (1, {(8419,)})], 128550: [(0, {()})], 48: [(2, {(65039, 8419)}), (1, {(8419,)})], 49: [(2, {(65039, 8419)}), (1, {(8419,)})], 50: [(2, {(65039, 8419)}), (1, {(8419,)})], 51: [(2, {(65039, 8419)}), (1, {(8419,)})], 52: [(2, {(65039, 8419)}), (1, {(8419,)})], 53: [(2, {(65039, 8419)}), (1, {(8419,)})], 54: [(2, {(65039, 8419)}), (1, {(8419,)})], 55: [(2, {(65039, 8419)}), (1, {(8419,)})], 56: [(2, {(65039, 8419)}), (1, {(8419,)})], 57: [(2, {(65039, 8419)}), (1, {(8419,)})], 8252: [(1, {(65039,)}), (0, {()})], 12349: [(1, {(65039,)}), (0, {()})], 8265: [(1, {(65039,)}), (0, {()})], 128356: [(0, {()})], 129383: [(0, {()})], 128701: [(0, {()})], 9918: [(0, {()})], 9924: [(0, {()})], 9925: [(0, {()})], 128554: [(0, {()})], 8598: [(1, {(65039,)}), (0, {()})], 169: [(1, {(65039,)}), (0, {()})], 174: [(1, {(65039,)}), (0, {()})], 128508: [(0, {()})], 8599: [(1, {(65039,)}), (0, {()})], 129510: [(0, {()})], 128760: [(0, {()})], 127183: [(0, {()})], 128718: [(1, {(65039,)}), (0, {()})], 128719: [(1, {(65039,)}), (0, {()})], 128721: [(0, {()})], 128559: [(0, {()})], 129296: [(0, {()})], 129297: [(0, {()})], 129298: [(0, {()})], 129299: [(0, {()})], 129300: [(0, {()})], 129301: [(0, {()})], 129302: [(0, {()})], 129303: [(0, {()})], 129304: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129305: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129306: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129307: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129308: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129309: [(0, {()})], 129310: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129311: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129312: [(0, {()})], 12336: [(1, {(65039,)}), (0, {()})], 8482: [(1, {(65039,)}), (0, {()})], 129315: [(0, {()})], 129316: [(0, {()})], 129317: [(0, {()})], 129318: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129319: [(0, {()})], 129320: [(0, {()})], 129321: [(0, {()})], 129322: [(0, {()})], 129323: [(0, {()})], 129324: [(0, {()})], 129325: [(0, {()})], 129326: [(0, {()})], 129327: [(0, {()})], 129328: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129329: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129330: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129331: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129332: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129333: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129334: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129335: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129336: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129337: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129338: [(0, {()})], 129340: [(3, {(8205, 9792, 65039), (8205, 9794, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (0, {()})], 129341: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129342: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129344: [(0, {()})], 129345: [(0, {()})], 129346: [(0, {()})], 129347: [(0, {()})], 129348: [(0, {()})], 129349: [(0, {()})], 129351: [(0, {()})], 129352: [(0, {()})], 129353: [(0, {()})], 129354: [(0, {()})], 129355: [(0, {()})], 129356: [(0, {()})], 129360: [(0, {()})], 129361: [(0, {()})], 129362: [(0, {()})], 129363: [(0, {()})], 129364: [(0, {()})], 127374: [(0, {()})], 129366: [(0, {()})], 129367: [(0, {()})], 129368: [(0, {()})], 129369: [(0, {()})], 129370: [(0, {()})], 129371: [(0, {()})], 129372: [(0, {()})], 129373: [(0, {()})], 129374: [(0, {()})], 129375: [(0, {()})], 129376: [(0, {()})], 129377: [(0, {()})], 129378: [(0, {()})], 129379: [(0, {()})], 129380: [(0, {()})], 129381: [(0, {()})], 129382: [(0, {()})], 127377: [(0, {()})], 129384: [(0, {()})], 129385: [(0, {()})], 129386: [(0, {()})], 129387: [(0, {()})], 129426: [(0, {()})], 128141: [(0, {()})], 127344: [(1, {(65039,)}), (0, {()})], 127345: [(1, {(65039,)}), (0, {()})], 129427: [(0, {()})], 129314: [(0, {()})], 9961: [(1, {(65039,)}), (0, {()})], 127380: [(0, {()})], 127358: [(1, {(65039,)}), (0, {()})], 127359: [(1, {(65039,)}), (0, {()})], 129408: [(0, {()})], 129409: [(0, {()})], 129410: [(0, {()})], 129411: [(0, {()})], 129412: [(0, {()})], 129413: [(0, {()})], 129414: [(0, {()})], 129415: [(0, {()})], 129416: [(0, {()})], 129417: [(0, {()})], 129418: [(0, {()})], 129419: [(0, {()})], 129420: [(0, {()})], 129421: [(0, {()})], 129422: [(0, {()})], 129423: [(0, {()})], 129424: [(0, {()})], 129425: [(0, {()})], 127378: [(0, {()})], 127379: [(0, {()})], 8596: [(1, {(65039,)}), (0, {()})], 8597: [(1, {(65039,)}), (0, {()})], 127382: [(0, {()})], 127383: [(0, {()})], 8600: [(1, {(65039,)}), (0, {()})], 8601: [(1, {(65039,)}), (0, {()})], 127386: [(0, {()})], 128085: [(0, {()})], 9968: [(1, {(65039,)}), (0, {()})], 8617: [(1, {(65039,)}), (0, {()})], 8618: [(1, {(65039,)}), (0, {()})], 9971: [(0, {()})], 128756: [(0, {()})], 128757: [(0, {()})], 129472: [(0, {()})], 127969: [(0, {()})], 128759: [(0, {()})], 129488: [(0, {()})], 129489: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129490: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129491: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129492: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129493: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129494: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (127997, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129495: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127997, 8205, 9794), (8205, 9794, 65039), (127998, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129496: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127997, 8205, 9794), (8205, 9794, 65039), (127998, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129497: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127997, 8205, 9794), (8205, 9794, 65039), (127998, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129498: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129499: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129500: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129501: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127997, 8205, 9794), (8205, 9794, 65039), (127998, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 129502: [(3, {(8205, 9792, 65039), (8205, 9794, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (0, {()})], 129503: [(3, {(8205, 9792, 65039), (8205, 9794, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (0, {()})], 129504: [(0, {()})], 129505: [(0, {()})], 129506: [(0, {()})], 129507: [(0, {()})], 129508: [(0, {()})], 129509: [(0, {()})], 127462: [(1, {(127482,), (127478,), (127484,), (127479,), (127485,), (127464,), (127465,), (127487,), (127466,), (127467,), (127473,), (127468,), (127474,), (127480,), (127470,), (127481,), (127476,)})], 127463: [(1, {(127471,), (127483,), (127478,), (127484,), (127479,), (127486,), (127465,), (127487,), (127466,), (127467,), (127462,), (127473,), (127468,), (127463,), (127474,), (127469,), (127480,), (127475,), (127470,), (127481,), (127476,)})], 127464: [(1, {(127482,), (127477,), (127483,), (127484,), (127479,), (127485,), (127464,), (127486,), (127465,), (127487,), (127472,), (127467,), (127462,), (127473,), (127468,), (127474,), (127469,), (127475,), (127470,), (127476,)})], 127465: [(1, {(127471,), (127487,), (127466,), (127472,), (127468,), (127474,), (127476,)})], 127466: [(1, {(127482,), (127479,), (127464,), (127466,), (127462,), (127468,), (127469,), (127480,), (127481,)})], 127467: [(1, {(127471,), (127479,), (127472,), (127474,), (127470,), (127476,)})], 127468: [(1, {(127482,), (127477,), (127478,), (127484,), (127479,), (127486,), (127465,), (127466,), (127467,), (127462,), (127473,), (127468,), (127463,), (127474,), (127469,), (127480,), (127475,), (127470,), (127481,)})], 127469: [(1, {(127482,), (127479,), (127472,), (127474,), (127475,), (127481,)})], 127470: [(1, {(127478,), (127479,), (127464,), (127465,), (127466,), (127473,), (127474,), (127480,), (127475,), (127481,), (127476,)})], 127471: [(1, {(127466,), (127477,), (127474,), (127476,)})], 127472: [(1, {(127477,), (127484,), (127479,), (127486,), (127487,), (127466,), (127468,), (127474,), (127469,), (127475,), (127470,)})], 127473: [(1, {(127482,), (127483,), (127479,), (127464,), (127486,), (127472,), (127462,), (127463,), (127480,), (127470,), (127481,)})], 127474: [(1, {(127482,), (127484,), (127486,), (127472,), (127474,), (127476,), (127478,), (127464,), (127466,), (127468,), (127481,), (127483,), (127485,), (127487,), (127462,), (127473,), (127475,), (127477,), (127479,), (127465,), (127467,), (127469,), (127480,)})], 127475: [(1, {(127482,), (127477,), (127479,), (127464,), (127487,), (127466,), (127467,), (127462,), (127473,), (127468,), (127470,), (127476,)})], 127476: [(1, {(127474,)})], 127477: [(1, {(127484,), (127479,), (127486,), (127466,), (127472,), (127467,), (127462,), (127473,), (127468,), (127474,), (127469,), (127480,), (127475,), (127481,)})], 127478: [(1, {(127462,)})], 127479: [(1, {(127484,), (127466,), (127480,), (127482,), (127476,)})], 127480: [(1, {(127471,), (127483,), (127479,), (127485,), (127464,), (127486,), (127465,), (127487,), (127466,), (127472,), (127462,), (127473,), (127468,), (127463,), (127474,), (127469,), (127480,), (127475,), (127470,), (127481,), (127476,)})], 127481: [(1, {(127471,), (127483,), (127484,), (127479,), (127464,), (127465,), (127487,), (127472,), (127467,), (127462,), (127473,), (127468,), (127474,), (127469,), (127475,), (127481,), (127476,)})], 127482: [(1, {(127486,), (127487,), (127462,), (127468,), (127474,), (127480,), (127475,)})], 127483: [(1, {(127482,), (127464,), (127466,), (127462,), (127468,), (127475,), (127470,)})], 127484: [(1, {(127480,), (127467,)})], 127485: [(1, {(127472,)})], 127486: [(1, {(127466,), (127481,)})], 127487: [(1, {(127474,), (127462,), (127484,)})], 127489: [(0, {()})], 127490: [(1, {(65039,)}), (0, {()})], 127992: [(0, {()})], 127514: [(0, {()})], 127749: [(0, {()})], 127750: [(0, {()})], 127751: [(0, {()})], 127535: [(0, {()})], 9992: [(1, {(65039,)}), (0, {()})], 127538: [(0, {()})], 127539: [(0, {()})], 127540: [(0, {()})], 127541: [(0, {()})], 127542: [(0, {()})], 127543: [(1, {(65039,)}), (0, {()})], 127544: [(0, {()})], 127545: [(0, {()})], 127546: [(0, {()})], 128568: [(0, {()})], 127568: [(0, {()})], 127569: [(0, {()})], 128569: [(0, {()})], 128570: [(0, {()})], 12951: [(1, {(65039,)}), (0, {()})], 12953: [(1, {(65039,)}), (0, {()})], 8986: [(0, {()})], 127771: [(0, {()})], 128544: [(0, {()})], 127772: [(0, {()})], 127753: [(0, {()})], 9000: [(1, {(65039,)}), (0, {()})], 127744: [(0, {()})], 127745: [(0, {()})], 127746: [(0, {()})], 127747: [(0, {()})], 127748: [(0, {()})], 11013: [(1, {(65039,)}), (0, {()})], 11014: [(1, {(65039,)}), (0, {()})], 11015: [(1, {(65039,)}), (0, {()})], 127752: [(0, {()})], 127788: [(1, {(65039,)}), (0, {()})], 127754: [(0, {()})], 127755: [(0, {()})], 127756: [(0, {()})], 127757: [(0, {()})], 127758: [(0, {()})], 127759: [(0, {()})], 127760: [(0, {()})], 127761: [(0, {()})], 127762: [(0, {()})], 127763: [(0, {()})], 127764: [(0, {()})], 127765: [(0, {()})], 127766: [(0, {()})], 127767: [(0, {()})], 127768: [(0, {()})], 127769: [(0, {()})], 127770: [(0, {()})], 11035: [(0, {()})], 11036: [(0, {()})], 127773: [(0, {()})], 127774: [(0, {()})], 127775: [(0, {()})], 127776: [(0, {()})], 127777: [(1, {(65039,)}), (0, {()})], 127780: [(1, {(65039,)}), (0, {()})], 127781: [(1, {(65039,)}), (0, {()})], 127782: [(1, {(65039,)}), (0, {()})], 127783: [(1, {(65039,)}), (0, {()})], 127784: [(1, {(65039,)}), (0, {()})], 127785: [(1, {(65039,)}), (0, {()})], 127786: [(1, {(65039,)}), (0, {()})], 127787: [(1, {(65039,)}), (0, {()})], 128587: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 127789: [(0, {()})], 127790: [(0, {()})], 127791: [(0, {()})], 127792: [(0, {()})], 127793: [(0, {()})], 127794: [(0, {()})], 127795: [(0, {()})], 127796: [(0, {()})], 127797: [(0, {()})], 127798: [(1, {(65039,)}), (0, {()})], 127799: [(0, {()})], 127800: [(0, {()})], 127801: [(0, {()})], 127802: [(0, {()})], 127803: [(0, {()})], 127804: [(0, {()})], 127805: [(0, {()})], 127806: [(0, {()})], 127807: [(0, {()})], 127808: [(0, {()})], 127809: [(0, {()})], 127810: [(0, {()})], 127811: [(0, {()})], 127812: [(0, {()})], 127813: [(0, {()})], 127814: [(0, {()})], 127815: [(0, {()})], 127816: [(0, {()})], 127817: [(0, {()})], 127818: [(0, {()})], 127819: [(0, {()})], 127820: [(0, {()})], 127821: [(0, {()})], 127822: [(0, {()})], 127823: [(0, {()})], 127824: [(0, {()})], 127825: [(0, {()})], 127826: [(0, {()})], 127827: [(0, {()})], 127828: [(0, {()})], 127829: [(0, {()})], 127830: [(0, {()})], 127831: [(0, {()})], 127832: [(0, {()})], 127833: [(0, {()})], 127834: [(0, {()})], 127835: [(0, {()})], 127836: [(0, {()})], 127837: [(0, {()})], 127838: [(0, {()})], 127839: [(0, {()})], 127840: [(0, {()})], 127841: [(0, {()})], 127842: [(0, {()})], 127843: [(0, {()})], 127844: [(0, {()})], 127845: [(0, {()})], 127846: [(0, {()})], 127847: [(0, {()})], 127848: [(0, {()})], 127849: [(0, {()})], 127850: [(0, {()})], 127851: [(0, {()})], 127852: [(0, {()})], 127853: [(0, {()})], 127854: [(0, {()})], 127855: [(0, {()})], 127856: [(0, {()})], 127857: [(0, {()})], 127858: [(0, {()})], 127859: [(0, {()})], 128578: [(0, {()})], 127861: [(0, {()})], 127862: [(0, {()})], 127863: [(0, {()})], 127864: [(0, {()})], 127865: [(0, {()})], 127866: [(0, {()})], 127867: [(0, {()})], 127868: [(0, {()})], 127869: [(1, {(65039,)}), (0, {()})], 127870: [(0, {()})], 127871: [(0, {()})], 127872: [(0, {()})], 127873: [(0, {()})], 127874: [(0, {()})], 127875: [(0, {()})], 127876: [(0, {()})], 127877: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 127878: [(0, {()})], 127879: [(0, {()})], 127880: [(0, {()})], 127881: [(0, {()})], 127882: [(0, {()})], 127883: [(0, {()})], 127884: [(0, {()})], 127885: [(0, {()})], 127886: [(0, {()})], 127887: [(0, {()})], 127888: [(0, {()})], 127889: [(0, {()})], 127890: [(0, {()})], 127891: [(0, {()})], 127894: [(1, {(65039,)}), (0, {()})], 127895: [(1, {(65039,)}), (0, {()})], 127897: [(1, {(65039,)}), (0, {()})], 127898: [(1, {(65039,)}), (0, {()})], 127899: [(1, {(65039,)}), (0, {()})], 127902: [(1, {(65039,)}), (0, {()})], 127903: [(1, {(65039,)}), (0, {()})], 127904: [(0, {()})], 127905: [(0, {()})], 128513: [(0, {()})], 127907: [(0, {()})], 127908: [(0, {()})], 127909: [(0, {()})], 127910: [(0, {()})], 127911: [(0, {()})], 127912: [(0, {()})], 127913: [(0, {()})], 127914: [(0, {()})], 127915: [(0, {()})], 127916: [(0, {()})], 127917: [(0, {()})], 127918: [(0, {()})], 127919: [(0, {()})], 127920: [(0, {()})], 127921: [(0, {()})], 127922: [(0, {()})], 127923: [(0, {()})], 127924: [(0, {()})], 127925: [(0, {()})], 127926: [(0, {()})], 127927: [(0, {()})], 127928: [(0, {()})], 127929: [(0, {()})], 127930: [(0, {()})], 127931: [(0, {()})], 127932: [(0, {()})], 127933: [(0, {()})], 127934: [(0, {()})], 127935: [(0, {()})], 127936: [(0, {()})], 127937: [(0, {()})], 127938: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 127939: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 127940: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 127941: [(0, {()})], 127942: [(0, {()})], 127943: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 127944: [(0, {()})], 127945: [(0, {()})], 127946: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127997, 8205, 9794), (8205, 9794, 65039), (127998, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 127947: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (65039, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (65039, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (65039, 8205, 9794), (127997, 8205, 9794), (8205, 9794, 65039), (127998, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (65039, 8205, 9792), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(65039,), (127995,), (127996,), (127997,), (127998,), (127999,)}), (0, {()})], 127948: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (65039, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (65039, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (65039, 8205, 9794), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (65039, 8205, 9792), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(65039,), (127995,), (127996,), (127997,), (127998,), (127999,)}), (0, {()})], 127949: [(1, {(65039,)}), (0, {()})], 127950: [(1, {(65039,)}), (0, {()})], 9167: [(1, {(65039,)}), (0, {()})], 127952: [(0, {()})], 127953: [(0, {()})], 127954: [(0, {()})], 127955: [(0, {()})], 127956: [(1, {(65039,)}), (0, {()})], 127957: [(1, {(65039,)}), (0, {()})], 127958: [(1, {(65039,)}), (0, {()})], 127959: [(1, {(65039,)}), (0, {()})], 127960: [(1, {(65039,)}), (0, {()})], 127961: [(1, {(65039,)}), (0, {()})], 127962: [(1, {(65039,)}), (0, {()})], 127963: [(1, {(65039,)}), (0, {()})], 127964: [(1, {(65039,)}), (0, {()})], 127965: [(1, {(65039,)}), (0, {()})], 127966: [(1, {(65039,)}), (0, {()})], 127967: [(1, {(65039,)}), (0, {()})], 127968: [(0, {()})], 11088: [(0, {()})], 127970: [(0, {()})], 127971: [(0, {()})], 127972: [(0, {()})], 127973: [(0, {()})], 127974: [(0, {()})], 127975: [(0, {()})], 127976: [(0, {()})], 9193: [(0, {()})], 9194: [(0, {()})], 9195: [(0, {()})], 9196: [(0, {()})], 9197: [(1, {(65039,)}), (0, {()})], 127982: [(0, {()})], 9199: [(1, {(65039,)}), (0, {()})], 9200: [(0, {()})], 9201: [(1, {(65039,)}), (0, {()})], 128514: [(0, {()})], 127987: [(3, {(65039, 8205, 127752)}), (2, {(8205, 127752)}), (1, {(65039,)}), (0, {()})], 127988: [(6, {(917607, 917602, 917605, 917614, 917607, 917631), (917607, 917602, 917623, 917612, 917619, 917631), (917607, 917602, 917619, 917603, 917620, 917631)}), (0, {()})], 127989: [(1, {(65039,)}), (0, {()})], 127991: [(1, {(65039,)}), (0, {()})], 9208: [(1, {(65039,)}), (0, {()})], 127993: [(0, {()})], 9210: [(1, {(65039,)}), (0, {()})], 11093: [(0, {()})], 128000: [(0, {()})], 128001: [(0, {()})], 128002: [(0, {()})], 128003: [(0, {()})], 128004: [(0, {()})], 128005: [(0, {()})], 128006: [(0, {()})], 128007: [(0, {()})], 128008: [(0, {()})], 128009: [(0, {()})], 128010: [(0, {()})], 128011: [(0, {()})], 128012: [(0, {()})], 128013: [(0, {()})], 128014: [(0, {()})], 128015: [(0, {()})], 128016: [(0, {()})], 128017: [(0, {()})], 128018: [(0, {()})], 128019: [(0, {()})], 128020: [(0, {()})], 128021: [(0, {()})], 128022: [(0, {()})], 128023: [(0, {()})], 128024: [(0, {()})], 128025: [(0, {()})], 128026: [(0, {()})], 128027: [(0, {()})], 128028: [(0, {()})], 128029: [(0, {()})], 128030: [(0, {()})], 128031: [(0, {()})], 128032: [(0, {()})], 128033: [(0, {()})], 128034: [(0, {()})], 128035: [(0, {()})], 128036: [(0, {()})], 128037: [(0, {()})], 128038: [(0, {()})], 128039: [(0, {()})], 128040: [(0, {()})], 128041: [(0, {()})], 128042: [(0, {()})], 128043: [(0, {()})], 128044: [(0, {()})], 128045: [(0, {()})], 128046: [(0, {()})], 128047: [(0, {()})], 128048: [(0, {()})], 128049: [(0, {()})], 128050: [(0, {()})], 128051: [(0, {()})], 128052: [(0, {()})], 128053: [(0, {()})], 128054: [(0, {()})], 128055: [(0, {()})], 128056: [(0, {()})], 128057: [(0, {()})], 128058: [(0, {()})], 128059: [(0, {()})], 128060: [(0, {()})], 128061: [(0, {()})], 128062: [(0, {()})], 128063: [(1, {(65039,)}), (0, {()})], 128064: [(0, {()})], 128065: [(4, {(65039, 8205, 128488, 65039)}), (3, {(8205, 128488, 65039), (65039, 8205, 128488)}), (2, {(8205, 128488)}), (1, {(65039,)}), (0, {()})], 128066: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128067: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128068: [(0, {()})], 128069: [(0, {()})], 128070: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128071: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128072: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128073: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128074: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128075: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128076: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128077: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128078: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128079: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128080: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128081: [(0, {()})], 128082: [(0, {()})], 128083: [(0, {()})], 128084: [(0, {()})], 128526: [(0, {()})], 128086: [(0, {()})], 128087: [(0, {()})], 128088: [(0, {()})], 128089: [(0, {()})], 128090: [(0, {()})], 128091: [(0, {()})], 128092: [(0, {()})], 128093: [(0, {()})], 128094: [(0, {()})], 128095: [(0, {()})], 128096: [(0, {()})], 128097: [(0, {()})], 128098: [(0, {()})], 128099: [(0, {()})], 128100: [(0, {()})], 128101: [(0, {()})], 128102: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128103: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128104: [(7, {(8205, 10084, 65039, 8205, 128139, 8205, 128104)}), (6, {(8205, 128105, 8205, 128103, 8205, 128102), (8205, 128104, 8205, 128103, 8205, 128103), (8205, 128105, 8205, 128103, 8205, 128103), (8205, 128105, 8205, 128102, 8205, 128102), (8205, 128104, 8205, 128102, 8205, 128102), (8205, 10084, 8205, 128139, 8205, 128104), (8205, 128104, 8205, 128103, 8205, 128102)}), (5, {(8205, 10084, 65039, 8205, 128104)}), (4, {(127999, 8205, 9992, 65039), (127997, 8205, 9992, 65039), (127996, 8205, 9878, 65039), (8205, 128102, 8205, 128102), (8205, 128105, 8205, 128103), (8205, 128103, 8205, 128102), (8205, 128104, 8205, 128103), (127998, 8205, 9878, 65039), (127998, 8205, 9877, 65039), (127997, 8205, 9877, 65039), (127995, 8205, 9877, 65039), (127995, 8205, 9878, 65039), (8205, 128103, 8205, 128103), (8205, 128104, 8205, 128102), (127998, 8205, 9992, 65039), (127996, 8205, 9877, 65039), (127996, 8205, 9992, 65039), (8205, 128105, 8205, 128102), (127995, 8205, 9992, 65039), (8205, 10084, 8205, 128104), (127999, 8205, 9877, 65039), (127997, 8205, 9878, 65039), (127999, 8205, 9878, 65039)}), (3, {(127997, 8205, 127891), (127998, 8205, 128300), (127998, 8205, 127806), (127997, 8205, 127908), (127996, 8205, 128188), (127996, 8205, 127859), (127997, 8205, 128658), (127997, 8205, 128640), (127995, 8205, 128300), (127997, 8205, 128295), (127997, 8205, 9877), (127995, 8205, 9992), (127998, 8205, 128188), (8205, 9992, 65039), (127999, 8205, 128295), (127996, 8205, 127806), (127996, 8205, 128300), (127999, 8205, 127981), (127997, 8205, 128187), (127995, 8205, 127979), (127998, 8205, 9878), (127998, 8205, 127912), (127998, 8205, 127859), (127999, 8205, 9992), (127997, 8205, 127859), (127996, 8205, 128658), (127996, 8205, 128640), (127997, 8205, 9878), (127997, 8205, 127912), (127998, 8205, 128187), (127999, 8205, 127979), (127996, 8205, 127891), (127999, 8205, 127908), (127997, 8205, 128188), (127998, 8205, 9877), (127998, 8205, 128295), (127995, 8205, 127891), (127998, 8205, 128640), (127996, 8205, 9877), (127998, 8205, 128658), (127999, 8205, 127912), (127998, 8205, 127908), (127995, 8205, 128658), (127997, 8205, 127806), (127996, 8205, 9878), (127998, 8205, 127891), (127995, 8205, 128295), (127997, 8205, 128300), (127997, 8205, 9992), (127995, 8205, 127981), (127998, 8205, 127981), (127999, 8205, 9878), (127995, 8205, 128187), (127996, 8205, 127979), (127999, 8205, 9877), (127995, 8205, 127859), (8205, 9878, 65039), (127995, 8205, 127908), (127998, 8205, 127979), (127995, 8205, 9878), (127995, 8205, 128640), (127996, 8205, 9992), (127995, 8205, 9877), (127996, 8205, 127981), (127999, 8205, 127891), (127996, 8205, 127908), (127999, 8205, 128300), (127999, 8205, 127806), (127999, 8205, 128640), (127999, 8205, 128658), (127997, 8205, 127979), (8205, 9877, 65039), (127995, 8205, 127806), (127999, 8205, 128188), (127995, 8205, 127912), (127996, 8205, 128295), (127997, 8205, 127981), (127999, 8205, 128187), (127996, 8205, 127912), (127995, 8205, 128188), (127998, 8205, 9992), (127999, 8205, 127859), (127996, 8205, 128187)}), (2, {(8205, 9878), (8205, 128300), (8205, 127981), (8205, 127859), (8205, 127908), (8205, 128187), (8205, 128102), (8205, 128188), (8205, 128103), (8205, 128658), (8205, 128295), (8205, 9992), (8205, 127891), (8205, 127806), (8205, 127912), (8205, 9877), (8205, 128640), (8205, 127979)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128105: [(7, {(8205, 10084, 65039, 8205, 128139, 8205, 128104), (8205, 10084, 65039, 8205, 128139, 8205, 128105)}), (6, {(8205, 128105, 8205, 128103, 8205, 128102), (8205, 128105, 8205, 128103, 8205, 128103), (8205, 10084, 8205, 128139, 8205, 128104), (8205, 10084, 8205, 128139, 8205, 128105), (8205, 128105, 8205, 128102, 8205, 128102)}), (5, {(8205, 10084, 65039, 8205, 128104), (8205, 10084, 65039, 8205, 128105)}), (4, {(127999, 8205, 9992, 65039), (127997, 8205, 9992, 65039), (127996, 8205, 9878, 65039), (8205, 128102, 8205, 128102), (8205, 128105, 8205, 128103), (8205, 128103, 8205, 128102), (127998, 8205, 9878, 65039), (127998, 8205, 9877, 65039), (127997, 8205, 9877, 65039), (127995, 8205, 9877, 65039), (127995, 8205, 9878, 65039), (8205, 128103, 8205, 128103), (127998, 8205, 9992, 65039), (8205, 10084, 8205, 128105), (127996, 8205, 9877, 65039), (127996, 8205, 9992, 65039), (8205, 128105, 8205, 128102), (127995, 8205, 9992, 65039), (8205, 10084, 8205, 128104), (127999, 8205, 9877, 65039), (127997, 8205, 9878, 65039), (127999, 8205, 9878, 65039)}), (3, {(127997, 8205, 127891), (127998, 8205, 128300), (127998, 8205, 127806), (127997, 8205, 127908), (127996, 8205, 128188), (127996, 8205, 127859), (127997, 8205, 128658), (127997, 8205, 128640), (127995, 8205, 128300), (127997, 8205, 128295), (127997, 8205, 9877), (127995, 8205, 9992), (127998, 8205, 128188), (8205, 9992, 65039), (127999, 8205, 128295), (127996, 8205, 127806), (127996, 8205, 128300), (127999, 8205, 127981), (127997, 8205, 128187), (127995, 8205, 127979), (127998, 8205, 9878), (127998, 8205, 127912), (127998, 8205, 127859), (127999, 8205, 9992), (127997, 8205, 127859), (127996, 8205, 128658), (127996, 8205, 128640), (127997, 8205, 9878), (127997, 8205, 127912), (127998, 8205, 128187), (127999, 8205, 127979), (127996, 8205, 127891), (127999, 8205, 127908), (127997, 8205, 128188), (127998, 8205, 9877), (127998, 8205, 128295), (127995, 8205, 127891), (127998, 8205, 128640), (127996, 8205, 9877), (127998, 8205, 128658), (127999, 8205, 127912), (127998, 8205, 127908), (127995, 8205, 128658), (127997, 8205, 127806), (127996, 8205, 9878), (127998, 8205, 127891), (127995, 8205, 128295), (127997, 8205, 128300), (127997, 8205, 9992), (127995, 8205, 127981), (127998, 8205, 127981), (127999, 8205, 9878), (127995, 8205, 128187), (127996, 8205, 127979), (127999, 8205, 9877), (127995, 8205, 127859), (8205, 9878, 65039), (127995, 8205, 127908), (127995, 8205, 9878), (127998, 8205, 127979), (127995, 8205, 128640), (127996, 8205, 9992), (127995, 8205, 9877), (127996, 8205, 127981), (127999, 8205, 127891), (127996, 8205, 127908), (127999, 8205, 128300), (127999, 8205, 127806), (127999, 8205, 128640), (127999, 8205, 128658), (127997, 8205, 127979), (8205, 9877, 65039), (127995, 8205, 127806), (127999, 8205, 128188), (127995, 8205, 127912), (127996, 8205, 128295), (127997, 8205, 127981), (127999, 8205, 128187), (127996, 8205, 127912), (127995, 8205, 128188), (127998, 8205, 9992), (127999, 8205, 127859), (127996, 8205, 128187)}), (2, {(8205, 9878), (8205, 128300), (8205, 127981), (8205, 127859), (8205, 127908), (8205, 128187), (8205, 128102), (8205, 128188), (8205, 128103), (8205, 128658), (8205, 127806), (8205, 127912), (8205, 127891), (8205, 9992), (8205, 128295), (8205, 9877), (8205, 128640), (8205, 127979)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128106: [(0, {()})], 128107: [(0, {()})], 128108: [(0, {()})], 128109: [(0, {()})], 128110: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128111: [(3, {(8205, 9792, 65039), (8205, 9794, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (0, {()})], 128112: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128113: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128114: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128115: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128116: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128117: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128118: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128119: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127997, 8205, 9794), (8205, 9794, 65039), (127998, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128120: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128121: [(0, {()})], 128122: [(0, {()})], 128123: [(0, {()})], 128124: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128125: [(0, {()})], 128126: [(0, {()})], 128127: [(0, {()})], 128128: [(0, {()})], 128129: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128130: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128131: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128132: [(0, {()})], 128133: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128134: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (127997, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128135: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128136: [(0, {()})], 128137: [(0, {()})], 128138: [(0, {()})], 128139: [(0, {()})], 128140: [(0, {()})], 9410: [(1, {(65039,)}), (0, {()})], 128142: [(0, {()})], 128143: [(0, {()})], 128144: [(0, {()})], 128145: [(0, {()})], 128146: [(0, {()})], 128147: [(0, {()})], 128148: [(0, {()})], 128149: [(0, {()})], 128150: [(0, {()})], 128151: [(0, {()})], 128152: [(0, {()})], 128153: [(0, {()})], 128154: [(0, {()})], 128155: [(0, {()})], 128156: [(0, {()})], 128157: [(0, {()})], 128158: [(0, {()})], 128159: [(0, {()})], 128160: [(0, {()})], 128161: [(0, {()})], 128162: [(0, {()})], 128163: [(0, {()})], 128164: [(0, {()})], 128165: [(0, {()})], 128166: [(0, {()})], 128167: [(0, {()})], 128168: [(0, {()})], 128169: [(0, {()})], 128170: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128171: [(0, {()})], 128172: [(0, {()})], 128173: [(0, {()})], 128174: [(0, {()})], 128175: [(0, {()})], 128176: [(0, {()})], 128177: [(0, {()})], 128178: [(0, {()})], 128179: [(0, {()})], 128180: [(0, {()})], 128181: [(0, {()})], 128182: [(0, {()})], 128183: [(0, {()})], 128184: [(0, {()})], 128185: [(0, {()})], 8505: [(1, {(65039,)}), (0, {()})], 128187: [(0, {()})], 128188: [(0, {()})], 128189: [(0, {()})], 128190: [(0, {()})], 128191: [(0, {()})], 128192: [(0, {()})], 128193: [(0, {()})], 128194: [(0, {()})], 128195: [(0, {()})], 128196: [(0, {()})], 128197: [(0, {()})], 128198: [(0, {()})], 128199: [(0, {()})], 128200: [(0, {()})], 128201: [(0, {()})], 128202: [(0, {()})], 128203: [(0, {()})], 128204: [(0, {()})], 128205: [(0, {()})], 128206: [(0, {()})], 128207: [(0, {()})], 128208: [(0, {()})], 128209: [(0, {()})], 128210: [(0, {()})], 128211: [(0, {()})], 128212: [(0, {()})], 128213: [(0, {()})], 128214: [(0, {()})], 128215: [(0, {()})], 128216: [(0, {()})], 128217: [(0, {()})], 128218: [(0, {()})], 128219: [(0, {()})], 128220: [(0, {()})], 128221: [(0, {()})], 128222: [(0, {()})], 128223: [(0, {()})], 128224: [(0, {()})], 128225: [(0, {()})], 128226: [(0, {()})], 128227: [(0, {()})], 128228: [(0, {()})], 128229: [(0, {()})], 128230: [(0, {()})], 128231: [(0, {()})], 128232: [(0, {()})], 128233: [(0, {()})], 128234: [(0, {()})], 128235: [(0, {()})], 128236: [(0, {()})], 128237: [(0, {()})], 128238: [(0, {()})], 128239: [(0, {()})], 128240: [(0, {()})], 128241: [(0, {()})], 128242: [(0, {()})], 128243: [(0, {()})], 128244: [(0, {()})], 128245: [(0, {()})], 128246: [(0, {()})], 128247: [(0, {()})], 128248: [(0, {()})], 128249: [(0, {()})], 128250: [(0, {()})], 128251: [(0, {()})], 128252: [(0, {()})], 128253: [(1, {(65039,)}), (0, {()})], 128255: [(0, {()})], 128256: [(0, {()})], 128257: [(0, {()})], 128258: [(0, {()})], 128259: [(0, {()})], 128260: [(0, {()})], 128261: [(0, {()})], 128262: [(0, {()})], 128263: [(0, {()})], 128264: [(0, {()})], 128265: [(0, {()})], 128266: [(0, {()})], 128267: [(0, {()})], 128268: [(0, {()})], 128269: [(0, {()})], 128270: [(0, {()})], 128271: [(0, {()})], 128272: [(0, {()})], 128273: [(0, {()})], 128274: [(0, {()})], 128275: [(0, {()})], 128276: [(0, {()})], 128558: [(0, {()})], 128278: [(0, {()})], 128279: [(0, {()})], 128280: [(0, {()})], 128281: [(0, {()})], 128282: [(0, {()})], 128283: [(0, {()})], 128284: [(0, {()})], 128285: [(0, {()})], 128286: [(0, {()})], 128287: [(0, {()})], 128288: [(0, {()})], 128289: [(0, {()})], 128290: [(0, {()})], 128291: [(0, {()})], 128292: [(0, {()})], 128293: [(0, {()})], 128294: [(0, {()})], 128295: [(0, {()})], 128296: [(0, {()})], 128297: [(0, {()})], 128298: [(0, {()})], 128299: [(0, {()})], 128300: [(0, {()})], 128301: [(0, {()})], 128302: [(0, {()})], 128303: [(0, {()})], 128304: [(0, {()})], 128305: [(0, {()})], 128306: [(0, {()})], 128307: [(0, {()})], 128308: [(0, {()})], 128309: [(0, {()})], 128310: [(0, {()})], 128311: [(0, {()})], 128312: [(0, {()})], 128313: [(0, {()})], 128314: [(0, {()})], 128315: [(0, {()})], 128316: [(0, {()})], 128317: [(0, {()})], 128584: [(0, {()})], 128329: [(1, {(65039,)}), (0, {()})], 128330: [(1, {(65039,)}), (0, {()})], 128331: [(0, {()})], 128332: [(0, {()})], 128333: [(0, {()})], 128334: [(0, {()})], 128336: [(0, {()})], 128337: [(0, {()})], 128338: [(0, {()})], 128339: [(0, {()})], 128340: [(0, {()})], 128341: [(0, {()})], 128342: [(0, {()})], 128343: [(0, {()})], 128344: [(0, {()})], 128345: [(0, {()})], 128346: [(0, {()})], 128347: [(0, {()})], 128348: [(0, {()})], 128349: [(0, {()})], 128350: [(0, {()})], 128351: [(0, {()})], 128352: [(0, {()})], 128353: [(0, {()})], 128354: [(0, {()})], 128355: [(0, {()})], 128516: [(0, {()})], 128357: [(0, {()})], 128358: [(0, {()})], 128359: [(0, {()})], 128367: [(1, {(65039,)}), (0, {()})], 128368: [(1, {(65039,)}), (0, {()})], 128371: [(1, {(65039,)}), (0, {()})], 128372: [(1, {(65039,), (127995,), (127996,), (127997,), (127998,), (127999,)}), (0, {()})], 128373: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (65039, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (65039, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (65039, 8205, 9794), (127998, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (65039, 8205, 9792), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(65039,), (127995,), (127996,), (127997,), (127998,), (127999,)}), (0, {()})], 128374: [(1, {(65039,)}), (0, {()})], 128375: [(1, {(65039,)}), (0, {()})], 128376: [(1, {(65039,)}), (0, {()})], 128377: [(1, {(65039,)}), (0, {()})], 128378: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 9792: [(1, {(65039,)}), (0, {()})], 128391: [(1, {(65039,)}), (0, {()})], 128394: [(1, {(65039,)}), (0, {()})], 128395: [(1, {(65039,)}), (0, {()})], 128396: [(1, {(65039,)}), (0, {()})], 128397: [(1, {(65039,)}), (0, {()})], 128400: [(1, {(65039,), (127995,), (127996,), (127997,), (127998,), (127999,)}), (0, {()})], 128405: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128406: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128420: [(0, {()})], 128421: [(1, {(65039,)}), (0, {()})], 128424: [(1, {(65039,)}), (0, {()})], 9642: [(1, {(65039,)}), (0, {()})], 9643: [(1, {(65039,)}), (0, {()})], 128433: [(1, {(65039,)}), (0, {()})], 128434: [(1, {(65039,)}), (0, {()})], 128529: [(0, {()})], 9654: [(1, {(65039,)}), (0, {()})], 128585: [(0, {()})], 128444: [(1, {(65039,)}), (0, {()})], 128586: [(0, {()})], 9664: [(1, {(65039,)}), (0, {()})], 128450: [(1, {(65039,)}), (0, {()})], 128451: [(1, {(65039,)}), (0, {()})], 128452: [(1, {(65039,)}), (0, {()})], 127984: [(0, {()})], 128588: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 127906: [(0, {()})], 128589: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128465: [(1, {(65039,)}), (0, {()})], 128466: [(1, {(65039,)}), (0, {()})], 128467: [(1, {(65039,)}), (0, {()})], 9806: [(0, {()})], 9807: [(0, {()})], 128476: [(1, {(65039,)}), (0, {()})], 128477: [(1, {(65039,)}), (0, {()})], 128478: [(1, {(65039,)}), (0, {()})], 128481: [(1, {(65039,)}), (0, {()})], 128483: [(1, {(65039,)}), (0, {()})], 128488: [(1, {(65039,)}), (0, {()})], 128495: [(1, {(65039,)}), (0, {()})], 128499: [(1, {(65039,)}), (0, {()})], 128506: [(1, {(65039,)}), (0, {()})], 9723: [(1, {(65039,)}), (0, {()})], 9724: [(1, {(65039,)}), (0, {()})], 9725: [(0, {()})], 9726: [(0, {()})], 128511: [(0, {()})], 9728: [(1, {(65039,)}), (0, {()})], 9729: [(1, {(65039,)}), (0, {()})], 9730: [(1, {(65039,)}), (0, {()})], 9731: [(1, {(65039,)}), (0, {()})], 9732: [(1, {(65039,)}), (0, {()})], 128517: [(0, {()})], 128518: [(0, {()})], 128519: [(0, {()})], 128520: [(0, {()})], 128521: [(0, {()})], 128522: [(0, {()})], 128523: [(0, {()})], 128524: [(0, {()})], 128525: [(0, {()})], 9742: [(1, {(65039,)}), (0, {()})], 128527: [(0, {()})], 128528: [(0, {()})], 9745: [(1, {(65039,)}), (0, {()})], 128530: [(0, {()})], 128531: [(0, {()})], 128532: [(0, {()})], 128533: [(0, {()})], 128534: [(0, {()})], 128535: [(0, {()})], 9752: [(1, {(65039,)}), (0, {()})], 128537: [(0, {()})], 128538: [(0, {()})], 128539: [(0, {()})], 128540: [(0, {()})], 9757: [(1, {(65039,), (127995,), (127996,), (127997,), (127998,), (127999,)}), (0, {()})], 128542: [(0, {()})], 128543: [(0, {()})], 9760: [(1, {(65039,)}), (0, {()})], 128545: [(0, {()})], 9762: [(1, {(65039,)}), (0, {()})], 9763: [(1, {(65039,)}), (0, {()})], 128548: [(0, {()})], 128549: [(0, {()})], 9766: [(1, {(65039,)}), (0, {()})], 128551: [(0, {()})], 128552: [(0, {()})], 128553: [(0, {()})], 9770: [(1, {(65039,)}), (0, {()})], 128555: [(0, {()})], 128556: [(0, {()})], 128557: [(0, {()})], 9774: [(1, {(65039,)}), (0, {()})], 9775: [(1, {(65039,)}), (0, {()})], 128560: [(0, {()})], 128561: [(0, {()})], 128562: [(0, {()})], 128563: [(0, {()})], 128564: [(0, {()})], 128565: [(0, {()})], 128566: [(0, {()})], 128567: [(0, {()})], 9784: [(1, {(65039,)}), (0, {()})], 9785: [(1, {(65039,)}), (0, {()})], 9786: [(1, {(65039,)}), (0, {()})], 128571: [(0, {()})], 128572: [(0, {()})], 128573: [(0, {()})], 128574: [(0, {()})], 128575: [(0, {()})], 128576: [(0, {()})], 128577: [(0, {()})], 9794: [(1, {(65039,)}), (0, {()})], 128579: [(0, {()})], 128580: [(0, {()})], 128581: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (127997, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128582: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127997, 8205, 9794), (8205, 9794, 65039), (127998, 8205, 9794), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128583: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (127997, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 9800: [(0, {()})], 9801: [(0, {()})], 9802: [(0, {()})], 9803: [(0, {()})], 9804: [(0, {()})], 9805: [(0, {()})], 128590: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128591: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 9808: [(0, {()})], 9809: [(0, {()})], 9810: [(0, {()})], 9811: [(0, {()})], 128509: [(0, {()})], 9824: [(1, {(65039,)}), (0, {()})], 9827: [(1, {(65039,)}), (0, {()})], 9829: [(1, {(65039,)}), (0, {()})], 9830: [(1, {(65039,)}), (0, {()})], 9832: [(1, {(65039,)}), (0, {()})], 128510: [(0, {()})], 9851: [(1, {(65039,)}), (0, {()})], 9855: [(0, {()})], 128640: [(0, {()})], 128641: [(0, {()})], 128642: [(0, {()})], 128643: [(0, {()})], 128644: [(0, {()})], 128645: [(0, {()})], 128536: [(0, {()})], 128647: [(0, {()})], 128648: [(0, {()})], 128649: [(0, {()})], 128650: [(0, {()})], 128651: [(0, {()})], 128652: [(0, {()})], 128653: [(0, {()})], 128654: [(0, {()})], 128655: [(0, {()})], 128656: [(0, {()})], 128657: [(0, {()})], 9874: [(1, {(65039,)}), (0, {()})], 9875: [(0, {()})], 9876: [(1, {(65039,)}), (0, {()})], 9877: [(1, {(65039,)}), (0, {()})], 9878: [(1, {(65039,)}), (0, {()})], 9879: [(1, {(65039,)}), (0, {()})], 128664: [(0, {()})], 9881: [(1, {(65039,)}), (0, {()})], 128666: [(0, {()})], 9883: [(1, {(65039,)}), (0, {()})], 9884: [(1, {(65039,)}), (0, {()})], 128669: [(0, {()})], 128670: [(0, {()})], 128671: [(0, {()})], 9888: [(1, {(65039,)}), (0, {()})], 9889: [(0, {()})], 128674: [(0, {()})], 128675: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128676: [(0, {()})], 128677: [(0, {()})], 128678: [(0, {()})], 128679: [(0, {()})], 128680: [(0, {()})], 128681: [(0, {()})], 9898: [(0, {()})], 9899: [(0, {()})], 128684: [(0, {()})], 128685: [(0, {()})], 128686: [(0, {()})], 128687: [(0, {()})], 128688: [(0, {()})], 128689: [(0, {()})], 128690: [(0, {()})], 128691: [(0, {()})], 128692: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128693: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128694: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (127998, 8205, 9794), (127997, 8205, 9794), (8205, 9794, 65039), (127997, 8205, 9792), (127995, 8205, 9794), (127996, 8205, 9794), (127998, 8205, 9792), (127999, 8205, 9794), (127995, 8205, 9792), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128695: [(0, {()})], 128696: [(0, {()})], 128697: [(0, {()})], 128698: [(0, {()})], 128699: [(0, {()})], 128700: [(0, {()})], 9917: [(0, {()})], 128702: [(0, {()})], 128703: [(0, {()})], 128704: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128705: [(0, {()})], 128706: [(0, {()})], 128707: [(0, {()})], 128708: [(0, {()})], 128709: [(0, {()})], 129313: [(0, {()})], 9928: [(1, {(65039,)}), (0, {()})], 128715: [(1, {(65039,)}), (0, {()})], 128716: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 128717: [(1, {(65039,)}), (0, {()})], 9934: [(0, {()})], 9935: [(1, {(65039,)}), (0, {()})], 128720: [(0, {()})], 9937: [(1, {(65039,)}), (0, {()})], 128722: [(0, {()})], 9939: [(1, {(65039,)}), (0, {()})], 9940: [(0, {()})], 127951: [(0, {()})], 128736: [(1, {(65039,)}), (0, {()})], 128737: [(1, {(65039,)}), (0, {()})], 128738: [(1, {(65039,)}), (0, {()})], 128739: [(1, {(65039,)}), (0, {()})], 128740: [(1, {(65039,)}), (0, {()})], 128741: [(1, {(65039,)}), (0, {()})], 128745: [(1, {(65039,)}), (0, {()})], 9962: [(0, {()})], 128747: [(0, {()})], 128748: [(0, {()})], 128752: [(1, {(65039,)}), (0, {()})], 9969: [(1, {(65039,)}), (0, {()})], 9970: [(0, {()})], 128755: [(1, {(65039,)}), (0, {()})], 9972: [(1, {(65039,)}), (0, {()})], 9973: [(0, {()})], 128758: [(0, {()})], 9975: [(1, {(65039,)}), (0, {()})], 9976: [(1, {(65039,)}), (0, {()})], 9977: [(4, {(127996, 8205, 9794, 65039), (127998, 8205, 9794, 65039), (65039, 8205, 9794, 65039), (127995, 8205, 9792, 65039), (127999, 8205, 9792, 65039), (127998, 8205, 9792, 65039), (127995, 8205, 9794, 65039), (127997, 8205, 9794, 65039), (127999, 8205, 9794, 65039), (127996, 8205, 9792, 65039), (65039, 8205, 9792, 65039), (127997, 8205, 9792, 65039)}), (3, {(127996, 8205, 9792), (127999, 8205, 9792), (65039, 8205, 9794), (127998, 8205, 9794), (8205, 9794, 65039), (127995, 8205, 9792), (127995, 8205, 9794), (127997, 8205, 9792), (127996, 8205, 9794), (65039, 8205, 9792), (127998, 8205, 9792), (127999, 8205, 9794), (127997, 8205, 9794), (8205, 9792, 65039)}), (2, {(8205, 9794), (8205, 9792)}), (1, {(65039,), (127995,), (127996,), (127997,), (127998,), (127999,)}), (0, {()})], 9978: [(0, {()})], 9981: [(0, {()})], 9986: [(1, {(65039,)}), (0, {()})], 9989: [(0, {()})], 127860: [(0, {()})], 127381: [(0, {()})], 9993: [(1, {(65039,)}), (0, {()})], 9994: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 9995: [(1, {(127999,), (127997,), (127995,), (127998,), (127996,)}), (0, {()})], 9996: [(1, {(65039,), (127995,), (127996,), (127997,), (127998,), (127999,)}), (0, {()})], 9997: [(1, {(65039,), (127995,), (127996,), (127997,), (127998,), (127999,)}), (0, {()})], 9999: [(1, {(65039,)}), (0, {()})], 10002: [(1, {(65039,)}), (0, {()})], 10004: [(1, {(65039,)}), (0, {()})], 10006: [(1, {(65039,)}), (0, {()})], 128541: [(0, {()})], 10013: [(1, {(65039,)}), (0, {()})], 10017: [(1, {(65039,)}), (0, {()})], 128646: [(0, {()})], 10024: [(0, {()})], 129428: [(0, {()})], 10035: [(1, {(65039,)}), (0, {()})], 10036: [(1, {(65039,)}), (0, {()})], 10548: [(1, {(65039,)}), (0, {()})], 10549: [(1, {(65039,)}), (0, {()})], 128512: [(0, {()})], 10052: [(1, {(65039,)}), (0, {()})], 10055: [(1, {(65039,)}), (0, {()})], 129429: [(0, {()})], 10060: [(0, {()})], 10062: [(0, {()})], 10067: [(0, {()})], 10068: [(0, {()})], 10069: [(0, {()})], 10071: [(0, {()})], 127384: [(0, {()})], 10083: [(1, {(65039,)}), (0, {()})], 10084: [(1, {(65039,)}), (0, {()})], 129430: [(0, {()})], 128658: [(0, {()})], 8987: [(0, {()})], 128659: [(0, {()})], 127977: [(0, {()})], 128660: [(0, {()})], 127978: [(0, {()})], 128186: [(0, {()})], 128661: [(0, {()})], 127385: [(0, {()})], 127979: [(0, {()})], 129431: [(0, {()})], 128662: [(0, {()})], 127980: [(0, {()})], 128663: [(0, {()})], 9748: [(0, {()})], 127981: [(0, {()})], 10133: [(0, {()})], 10134: [(0, {()})], 10135: [(0, {()})], 127983: [(0, {()})], 9203: [(0, {()})], 10145: [(1, {(65039,)}), (0, {()})], 128667: [(0, {()})], 128668: [(0, {()})], 9749: [(0, {()})], 9202: [(1, {(65039,)}), (0, {()})], 10160: [(0, {()})], 128546: [(0, {()})], 10175: [(0, {()})], 128672: [(0, {()})], 128673: [(0, {()})], 128547: [(0, {()})], 9209: [(1, {(65039,)}), (0, {()})], 127994: [(0, {()})], 128665: [(0, {()})], 128682: [(0, {()})], 129365: [(0, {()})]}